When does every definable nonempty set have a definable element?
نویسندگان
چکیده
منابع مشابه
The rational points of a definable set
Let X ⊂ R be a set that is definable in an o-minimal expansion of R. This paper shows that, in a suitable sense, there are very few rational points of X that do not lie on some connected semialgebraic subset of X of positive dimension. 2000 Mathematics Subject Classification: 11G99, 03C64
متن کاملDefinable Representations of Definable C Groups
Let G be a compact affine definable C group and let r be∞ or ω. We prove that the representative definable C functions on G is dense in the space of continuous functions on G. Moreover we compare the category of compact affine definable C groups D with that of compact real algebraic groups A.
متن کاملModels of set theory with definable ordinals
A DO model (here also referred to a Paris model) is a model M of set theory all of whose ordinals are first order definable in M. Jeffrey Paris (1973) initiated the study of DO models and showed that (1) every consistent extension T of ZF has a DO model, and (2) for complete extensions T, T has a unique DO model up to isomorphism iff T proves V = OD. Here we provide a comprehensive treatment of...
متن کاملFunctions Definable by Numerical Set-Expressions
A numerical set-expression is a term specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. If these operations are confined to the usual Boolean operations together with the result of lifting addition to the level of sets, we speak of additive circuits. If they are confined to the usual Boolean operations together with the result of lifting ...
متن کاملDefinable norms and definable types over Banach spaces
A central question in Banach space theory has been to identify the class of Banach spaces that contain almost isometric copies of the classical sequence spaces `p and c0. Banach space theory entered a new era in the mid 1970’s, when B. Tsirelson [34] constructed the first space not containing isomorphic copies any of the classical sequence spaces. Tsirelson’s space has been called “the first tr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Logic Quarterly
سال: 2019
ISSN: 0942-5616,1521-3870
DOI: 10.1002/malq.201700035